WordReference Random House Unabridged Dictionary of American English © 2026
pred′icate cal′culus, [Logic.]
  1. PhilosophySee functional calculus. Also called pred′icate log′ic. 
  • 1945–50

Collins Concise English Dictionary © HarperCollins Publishers::
predicate calculus
  1. the system of symbolic logic concerned not only with relations between propositions as wholes but also with the representation by symbols of individuals and predicates in propositions and with quantification over individuals
    See also propositional calculus
'predicate calculus' also found in these entries (note: many are not synonyms or translations):
functional calculus - propositional calculus

Forum discussions with the word(s) "predicate calculus" in the title:


Look up "predicate calculus" at Merriam-Webster
Look up "predicate calculus" at dictionary.com
  • Go to Preferences page and choose from different actions for taps or mouse clicks.

In other languages: Spanish | French | Italian | Portuguese | Romanian | German | Dutch | Swedish | Russian | Polish | Czech | Greek | Turkish | Chinese | Japanese | Korean | Arabic

Advertisements
Advertisements
Report an inappropriate ad.
WordReference.com
WORD OF THE DAY
GET THE DAILY EMAIL!

Become a WordReference Supporter to view the site ad-free.